prove the function is onto